Efficient Lattice Width Computation in Arbitrary Dimension
نویسندگان
چکیده
We provide an algorithm for the exact computation of the lattice width of an integral polygon K in linear-time with respect to the size of K. Moreover, we describe how this new algorithm can be extended to an arbitrary dimension thanks to a greedy approach avoiding complex geometric processings.
منابع مشابه
On the Maximal Width of Empty Lattice Simplices
A k-dimensional lattice simplex σ ⊆ Rd is the convex hull of k + 1 affinely independent integer points. General lattice polytopes are obtained by taking convex hulls of arbitrary finite subsets of Zd . A lattice simplex or polytope is called empty if it intersects the lattice Zd only at its vertices. (Such polytopes are studied also under the names elementary and latticefree.) In dimensions d >...
متن کاملFloor Decompositions of Tropical Curves : the Planar Case
In [BM07] we announced a formula to compute Gromov-Witten and Welschinger invariants of some toric varieties, in terms of combinatorial objects called floor diagrams. We give here detailed proofs in the tropical geometry framework, in the case when the ambient variety is a complex surface, and give some examples of computations using floor diagrams. The focusing on dimension 2 is motivated by t...
متن کاملIdeal of Lattice homomorphisms corresponding to the products of two arbitrary lattices and the lattice [2]
Abstract. Let L and M be two finite lattices. The ideal J(L,M) is a monomial ideal in a specific polynomial ring and whose minimal monomial generators correspond to lattice homomorphisms ϕ: L→M. This ideal is called the ideal of lattice homomorphism. In this paper, we study J(L,M) in the case that L is the product of two lattices L_1 and L_2 and M is the chain [2]. We first characterize the set...
متن کاملGround-state approximation for strongly interacting spin systems in arbitrary spatial dimension.
We introduce a variational method for the approximation of ground states of strongly interacting spin systems in arbitrary geometries and spatial dimensions. The approach is based on weighted graph states and superpositions thereof. These states allow for the efficient computation of all local observables (e.g., energy) and include states with diverging correlation length and unbounded multipar...
متن کاملA duality between LM-fuzzy possibility computations and their logical semantics
Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. T...
متن کامل